Introduction Interplay: Process Algebra and Markov Process Applications

Source URL: homepages.inf.ed.ac.uk

• Process calculi
• Jane Hillston
• PEPA
• Markov chain
• Laboratory for Foundations of Computer Science
• Process calculus
• Algebra
• Edinburgh
• Theoretical computer science
• Mathematics
• TAPAs model checker

Intel Parallel Computing Center The Innovative Computing Laboratory The University of Tennessee, Knoxville MAGMA MIC

Source URL: icl.cs.utk.edu

• Computing
• Software
• Numerical software
• Numerical analysis
• Numerical linear algebra
• Computer architecture
• Parallel computing
• Basic Linear Algebra Subprograms
• Comparison of linear algebra libraries
• PBLAS
• LAPACK
• Magma

Experiences In Cyber Security Education: The MIT Lincoln Laboratory Capture-the-Flag Exercise ∗ Joseph Werther, Michael Zhivich, Tim Leek MIT Lincoln Laboratory POC:

Source URL: static.usenix.org

• Security
• Computing
• Prevention
• Computer network security
• Crime prevention
• Cryptography
• Information governance
• National security
• Capture the flag
• Information security
• Vulnerability
• Computer security

Two Methods for Detecting Malware Maciej Korczyński, Gilles Berger-Sabbatel, and Andrzej Duda Grenoble Institute of Technology, CNRS Grenoble Informatics Laboratory UMR, rue de la Passerelle, BPSaint

Source URL: mkorczynski.com

• Software
• Computing
• Cyberwarfare
• Computer network security
• Internet Standards
• Multi-agent systems
• Spamming
• Transmission Control Protocol
• Skype
• Botnet
• Transport Layer Security
• Network packet

Postdoctoral Fellowship in QUANTUM COMPUTING APPLIED RESEARCH LABORATORIES The University of Texas at Austin The Signal and Information Sciences Laboratory (SISL) of the Applied Research Laboratories,

Source URL: wwwext.arlut.utexas.edu

• Theoretical computer science
• Quantum cryptography
• Information theory
• Quantum computing
• Doctorate
• Theory of computation
• Knowledge

Speech Dasher: Fast Writing using Speech and Gaze Keith Vertanen and David J.C. MacKay Cavendish Laboratory, University of Cambridge JJ Thomson Avenue, Cambridge, CB3 0HE, UK ,

Source URL: www.keithv.com

• Software
• Humancomputer interaction
• Computing
• User interface techniques
• Input/output
• Computational linguistics
• Artificial intelligence applications
• Computer accessibility
• Speech recognition
• Dasher
• Words per minute
• Word error rate

Many Holes in Hindley-Milner Sam Lindley Laboratory for Foundations of Computer Science, University of Edinburgh

Source URL: www.kb.ecei.tohoku.ac.jp

ENERGY ANALYSIS BY MEANS OF COMPUTER GENERATED INTERACTIVE GRAPHICS Mark Henriquez Energy Analysis Group Lawrence Berkeley Laboratory

Source URL: mapcontext.com

• Computing
• Visual arts
• Computer architecture
• Minicomputers
• VAX
• Infographic
• Matrix
• Statistics
• Web mapping

About the Authors The CellProfiler™ Project Team Whitehead Institute for Biomedical Research and The Computer Science and Artificial Intelligence Laboratory at Massachusetts Institute of Technology, Cambridge, MA, USA

Source URL: d1zymp9ayga15t.cloudfront.net

• Microscopy
• Cell biology
• CellProfiler
• Biology
• Nature
• Chemistry

How Model-Based Design Simplifies the Debugging of Many-Core Systems Iuliana Bacivarov Computer Engineering and Networks Laboratory, ETH Zürich 1st International Workshop on Multicore Application Debugging (MAD) 2013, 1

Source URL: www.mad-workshop.de

• Computing
• Parallel computing
• Tile
• Debugging
• Embedded system
• Multi-core processor
• Thread
• STR
• ETH Zurich
• Computer engineering